命名学的有关理论及探索

命名学是一门包含极其广泛的学科,它涉及到我们生活的方方面面,是所有科学的基础学科。对命名学的定义、研究对象、研究方法及这门学科的研究现状进行了理论探讨,并展望了学科发展的方向。     

末段高层反导装备PHM多socket仿真分析

详细分析了独立于LRU的PHM方法和基于故障征兆预测的PHM方法的预测原理。利用LRU和PHM的MTBF概率分布和socket的全寿命周期费用建立仿真模型,介绍模型仿真方法与详细过程。研究了末段高层反导武器系统单socket全寿命周期费用与安全极限和预测距离的关系。引入同步时间的概念,利用单socket模型的方法优化多socket组成的系统。模型仿真结果更贴近末段高层反导装备实际,比单socket模型更有应用价值。     

中国美育究竟应该怎样为现代化建设服务

在美育领域,有一种现象应当引起我们的注意:无论是教育者还是受教育者都是审美主体,因为两者的目的都是为了更好地对待审美对象,实现主体与客体的互通共融。当代中国的美育建设,要多从西方美的异化和中国特色社会主义美好事物的培育、展示的对比中彰显社会主义的优越性和鲜明的时代特色,激发人民群众建设中国特色社会主义的激情和献身精神。在当前,我国的美育建设可以采取主体和对象分层的办法作为创新方式方法的一种思路,要以活动为中心开展社会审美教育,要创新审美活动的组织形式和手段,加强审美教育并使之超越对事物的一般性感知,要让人们以欣赏的眼光对待中国特色社会主义建设取得的巨大成就,使美育所展示的美好事物成为激扬民族和时代精神的意向表达。     

基于Z形式化规范的多Agent协作模型研究

用形式化规范语言Z定义了多A gen t协作模型的基本元素,包括:A gen t、目标、角色、交互协议和过程,给出了应满足的一致性约束,并通过城市区域的连锁超市物流调度系统说明了该形式化规范为多A gen t协作提供了一致性和连贯性。     

多维TCM的编码符号同步方法

针对多维TCM译码中的编码符号同步问题,提出了两种同步方法:累计度量和同步法、回溯初始状态比较同步法。其中累计度量和同步法适用于非完全透明的编码,而回溯初始状态比较同步法对完全透明的编码和非完全透明的编码都适用。它们都直接利用Viterbi译码器的中间结果,计算量少,简单有效。     

枪械产品可靠性建模方法研究

选择适当的建模方法, 并在分析枪械产品可靠性试验特点的基础上提出了相应的假设, 讨论了确定具体模型类型的方法及不同类型数据的参数估计和检验手段。借鉴电子产品可靠性建模方法提出了针对枪械产品可靠性模型的建立步骤, 并结合某型自动步枪寿命试验数据给出计算实例。     

时态逻辑形式化描述并发系统性质

时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL 及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例.     

评估飞控系统的风洞虚拟飞行试验系统与关键技术

为向开展具体的风洞虚拟飞行试验技术提供引导,针对应用于飞控系统评估的风洞虚拟飞行试验系统及关键技术进行了分析。基于传统意义上的飞控系统评估方法的不足,分析风洞虚拟飞行试验应用于飞控系统评估的优势;按飞控系统常用的姿态控制回路及制导控制回路的组成形式,介绍风洞虚拟飞行试验系统方案与工作原理,详细分析它与半实物仿真系统的差异;分析风洞虚拟飞行试验应用于飞控系统评估需解决的关键技术问题,包括风洞虚拟飞行试验评估方法、飞行器模型设计技术、飞控系统改进技术及模型支撑技术。     

网络作战能力评估研究

近年来,国内外学者对网络作战能力评估问题进行了大量深入的研究,并取得了很多重要成果,但是缺乏对该领域研究现状的归纳与总结。网络作战能力评估主要涉及指标体系构建、指标权重确定以及评估方法的选择,归纳了3种网络作战能力评估指标体系构建方法及划分角度,并进行对比分析;梳理了3种评估指标权重确定方法,并对其特点进行总结;介绍了几种常见网络作战能力评估方法。为组织网络作战能力评估提供一定的借鉴和参考。     

基于混沌理论的水声信号辨识方法

讨论了目前混沌信号的分析方法,并提出了混沌在水声信号辨识中的应用方法。按照给出的方法,很可能能够解决水下目标自动识别中的许多难题